中英
1
theorem-proving system中文是什么意思
发音:
- [计] 定理证明系统
- theorem proving 定理证明
- automated theorem proving 自定理明; 自动定理证明
- automatic theorem proving 自动定理证明
- mechanical theorem proving 机器证明
- non-resolution theorem proving 非解析定理求解
- proving fermat’s last theorem 证明费马最后定理
- resolution theorem proving 归结定理证明消解式定理证明
- resolution theorem-proving 解析定理证明
- theorem proving machine 定理证明机
- theorem proving representation 定理证明表示
- theorem proving technique 定理证明技术
- system-proving missile 系统检验用导弹
- be proving 看来是……
- proving 检验的; 药力试验
- s theorem 贝叶斯定理
- theorem n. 1.(能证明的)一般原理，公理，定律，法则。 2.【数学】定理。 -matic , -matical adj.,-ically adv.
- block proving 闭塞检查
- correspondence proving 符合检查; 照应确认
- cross proving 相互检查
- elementary proving 基本标定
- field proving 现场标定
- full proving 全项目标定
- initial proving 初始检定
- on-line proving 在线标定
- on-site proving 现场标定
- 推荐英语阅读
theorem-proving system的中文翻译，theorem-proving system是什么意思，怎么用汉语翻译theorem-proving system，theorem-proving system的中文意思，theorem-proving system的中文，theorem-proving system in Chinese，theorem-proving system的中文，theorem-proving system怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。
Last modified time:Wed, 13 Aug 2025 00:29:56 GMT
关于我们
